5

Using ASP for knowledge management with user authorization

Year:
2010
Language:
english
File:
PDF, 1019 KB
english, 2010
18

Test frame updating in CPM testing of Prolog programs

Year:
2008
Language:
english
File:
PDF, 462 KB
english, 2008
19

Abstract model checking for Web services

Year:
2008
Language:
english
File:
PDF, 319 KB
english, 2008
27

Online Social Network Evolving Model Based on Damping Factor

Year:
2012
Language:
english
File:
PDF, 530 KB
english, 2012
34

Temporal dynamics in social trust prediction

Year:
2014
Language:
english
File:
PDF, 530 KB
english, 2014
42

Influence of resistive internal kink on runaway current profile

Year:
2015
Language:
english
File:
PDF, 659 KB
english, 2015
43

Hybrid simulation of energetic particle effects on tearing modes in tokamak plasmas

Year:
2012
Language:
english
File:
PDF, 1.71 MB
english, 2012
49

Securing cyberspace

Year:
2016
Language:
english
File:
PDF, 36 KB
english, 2016